IEESD, Gomel (English version). 

Letter 1. The project short description  
          ieesd_en.doc

Letter 2. Articles
          1. Environment for Network-On-a-Chip Hardware/Software
             co-design, co-simulation and co-debugging
          2

Letter 3. Proofs